Quantitative and stability study of the evolution of a thermoelastic body

We prove the existence and uniqueness of a solution to a system of equations describing the evolution of a linear thermoelastic body by using a semi-group method. Moreover, the uniform exponential stability of the solution is shown in a particular case.• With respect to the existence and uniqueness of the solution, we have defined a linear operator which generates a contraction semi-group and show that it is monotone maximal.• With respect to the stability of the system, we have computed explicitly the expression of the solution of the system and show that the semi-group is uniformly exponentially stable in a particular case.


Introduction
In this paper, we are interested in the following system of equations describing the evolution of a linear thermoelastic body: ( , ) ∈ ℝ + × Ω, = ( + 2 ) Δ + ∇ ( , ) ∈ ℝ + × Ω, = −1 Δ + −1 −1 ∇ ( , ) ∈ ℝ + × Ω, ( , ) = ( , ) = 0 ( , ) ∈ ℝ + × Ω ( 0 , ) = 0 ( ) ∈ Ω ( 0 , ) = 0 ( ) ∈ Ω ( 0 , ) = 0 ( ) ∈ Ω (1.1) where > 0 is the density of the body that is constant, ˃ 0 the referential temperature, and > 0 , > 0 , m, , are constants, Ω is a nonempty open and bounded subset in ℝ , ( , ) the displacement, ( , ) the momentum and ( , ) the temperature. Several mathematical models that come from physics (thermoelasticity motion) lead to the study of partial differential equations (PDEs) and sometimes evolution equations allowing mathematicians to describe the behavior of a quantity that depends on several variables. The equations of thermoelasticity describe the elastic and the thermal behavior of elastic, heat conductive media, in particular the reciprocal actions between elastic stresses and temperature differences. We consider the classical thermoelastic system where the elastic part is the usual second-order one in the space variable. The equations are a coupling of the equations of elasticity and of the heat equation and thus build a hyperbolic-parabolic system. Indeed, both hyperbolic and parabolic effects are encountered. Thermoelasticity is the elasticity of bodies resulting from an increase in temperature. Thermoelasticity is the appropriate model for the explanation of the decay of the amplitude of free vibrations of some elastic bodies. Since then a wide variety of results and applications have been obtained in many different fields. For instance, in [3][4][5]18 ] synthetic tissues which mimic human bones are investigated, while in [16] cardiological tissues are considered. Besides a model of apples regarded as thermoelastic bodies is studied in [ 14 , 19 ]. The present investigation concerns thermoelastic bodies and their thermic behavior aiming to widen the range of applicable cases the theory can be applied to. In [1] , Amar Herminna, Abdoulaye Sene and Serge Nicaise studied the existence, uniqueness and stability of a solution of this system with = , + 2 = 1 , = 1 and [ ( ) ] = Δ . In this work, we have shown the existence and uniqueness of the solution of this system in a general case and stability in a particular case by using a semi group method.
This work is presented in five parts. In the first part, we have presented the preliminaries, and the mathematical model of the system describing the evolution of a linear thermoelastic body in the second part. In the third part, we have shown the existence and uniqueness of the solution of the system through the methods of semi groups. In the fourth part, we have shown that the system is exponentially stable in a particular case, in fith we give an application and we have presented the section conclusion PRELIMINARIES Definition 2.1 [2] . Let be a Hilbert space and Λ ∶ (Λ) ⊆ → be a linear operator. We say that Λ is monotone if ⟨Λ , ⟩ ≥ 0 for all ∈ (Λ) . Λ is said to be maximal monotone if Λ is monotone and ( + Λ) = .
The following theorem is variant of Lumer Philippe's theorem that is very useful to show the existence and the uniqueness of the solution of an evolution system. Theorem 2.2 [2] . Let be a real Hilbert space and Λ ∶ (Λ) ⊆ → be a linear operator. If −Λ is maximal monotone on , then Λ is the infinitesimal generator of a 0 -semi-group of contractions ( ( )) ≥ 0 on .
Next we present some definitions and theorems of the stability of an evolution system. Definition 2.3 [13] . We define the growth rate of a semi-group ( ( )) ≥ 0 by Definition 2.4 [13] . We call spectral bound of an operator Λ, the number denoted by (Λ) and defined by ( Λ) = sup { ( ) ; ∈ ( Λ) } .

MATHEMATICAL MODEL
Let  be a homogeneous body having as referential configuration a nonempty, open and bounded subset Ω in ℝ . The state of the body at the time ∈ ℝ , is characterized by two vector fields: the displacement ( , ) , the momentum ( , ) and a scalar fields: the temperature ( , ) . The system of equations describing the evolution of these three fields is: where > 0 is the density of the body specify that is constant, > 0 the referential temperature, and > 0 , > 0 , m, , are constants which characterized the thermoelastic properties of the body with c 2 = 0 and ∇ ⋅ ∇( − ) ≤ 0 , ∇ = with ∇ = and Δ = 2 2 . Composite materials used as structural elements in high-tech fields (aerospace industry, automotive industry…) are subjected in many cases to thermal stresses (turbojet 1000 , supersonic combustion 1750 , missile cone…) The components of these composites do not expand in the same way. This difference in expansion coefficients can lead to plasticization or total failure. This justifies the need to determine the thermoelastic behavior. So, the present system is a generalization of the evolution of bodies in motion of thermoelasticity. We begin by rewriting the system ( 3 . 1 ) under the form of an abstract Cauchy problem in a suitably chosen Hilbert space. More precisely, let be endowed with the mapping ⟨., . ⟩ defined by: Then the following proposition holds.
Proof. equipped with the inner product ⟨., . ⟩ defined by ( 3 . 2 ) is a prehilbertian space by Proposition (3.1) . We will show that is complete.
( ) is a Cauchy sequence in 2 (Ω) and since 2 (Ω) is complete, then there exists a rank 3 from which ( ) converges to an element for each ( , , ) ∈ ( ) . At this point, let us observe that the system ( 3 . 1 ) can be equivalently rewritten on the abstract form

1)
Since we have (4. 2) The characteristic equation of this last equation is 2 + − −1 = 0 which has two real solutions Thus the general solution to the inhomogenous 2nd order equation with constant coefficients is: . = ρu ⇒ Δv = ρΔu . ) f ( t, y ) dy .

Application examples in thermomechanical coupling
During mechanical loading of an elastic body, some work is done due to straining. This energy dissipates as heat induces a temperature field within the material. So, in Fourier heat conduction equation, this internal heat source should be appropriately included for accurately computing the temperature field. The coupling between the temperature and strain fields also helps in determining the temperature field due to time-varying forces and also accounts for the influence of temperature on the velocity of propagation of elastic waves. Only in stationary temperature fields, this coupling term may be neglected [6][7][8]20 ].
Stress, strain, and temperature relations in isotropic and homogeneous theroelastic solids (Duhamel-Neumann relations) are where and are Lamè's constants, = ( 3 + 2 ) , is the coefficient of linear thermal expansion of the material, is the stress tensor, is the increase in temperature above reference temperature 0 , = , = dilatation, are given by = 1 2 ( , + , ) with , = , 0 . These equations are to be supplemented by classical Fourier's law connecting heat flux vector ̄ with temperature gradien ∇ by the equation i.e., heat flux vector is the instantaneous result of a temperature gradient and k is the thermal conductivity. When coupling of strain and temperature field is taken into account, the principal of local energy balance gives where is the mass density, is the specific heat of the solid at constant volume, and is the time. Then, coupled heat conduction equation by elimination of is The term 0 brings to consider coupling between strain and temperature. Again the principle of balance of linear momentum leads to the stress equations of motion of the linearized form Eq. (5.4) is a parabolic-type equation whereas Eq. (5.6) is of hyperbolic type. The Eq. (5.4) is due to Biot, and it is concerned with the interaction of the thermal field and elastic deformation such that the two fields are coupled. A direct consequence of Eq. (5.4) based on classical Fourier's law is that if the material is subjected to a thermal disturbance, the effect of the disturbances in both temperature and displacement fields will be at distance infinitely far from the heat source since the two fields are coupled. This amounts to saying that the thermal signals propagate with infinite speed. Consequently, the result is physically unrealistic, particularly for initial value problems and very short time intervals, and all classical thermodynamical theories suffer from this drawback [9][10][11][12].

Conclusion
This article deals with a generalization with + 2 > 0, ck > 0 of the model studied in [1] with = , + 2 = 1 , = 1 and [ ( ) ] = Δ . We have obtained in our work, the results of existence, uniqueness and stability of the solution which coincide with the conditions, + 2 = 1 et = 1 of Amar Herminna, Abdoulaye Sene and Serge Nicaise.

Declaration of Competing Interest
The authors declare that they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper.

Data availability
No data was used for the research described in the article.